Add Bug#.

diff --git a/src/ChangeLog b/src/ChangeLog
index 93af816947cecb77316bb83cf446383a8fda38ac..230761a6f1e95d4448e45cc468e9f972529d995f 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -3,7 +3,7 @@
        * charset.h (struct charset.code_space): Now has 15 elements, not 16.
        * charset.c (Fdefine_charset_internal): Don't initialize
        charset.code_space[15].  The value was garbage, on hosts with
-       32-bit int.
+       32-bit int (Bug#8600).
 
 2011-04-30  Eli Zaretskii  <eliz@gnu.org>